*** empty log message ***

diff --git a/ChangeLog b/ChangeLog
index ebed93fdcb5383addcfd60aa634a015b334debbc..0a9f8bc094b827563a76d45f0b61c1ce8c4bcf8d 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2001-11-12  Eli Zaretskii  <eliz@is.elta.co.il>
+
+       * make-dist: Add lispref/index.*perm files to the distribution.
+       From Pavel Jan\e,Bm\e(Bk <Pavel@Janik.cz>.
+
 2001-11-12  Pavel Jan\e,Bm\e(Bk  <Pavel@Janik.cz>
 
        * Makefile.in (uninstall): Remove gfdl.1 when uninstalling.